Using Explicit State to Describe Architechtures
نویسندگان
چکیده
In order to achieve higher levels of abstraction in architectural design, we investigate extensions to parallel program design based on the use of explicit state variables to accommodate the action-based discipline of interaction that is typical of architecture description languages. Our study focus on primitives that support non-determinism, choice and fairness in guarded-command based languages, and on refinement principles that are compositional with respect to interconnection.
منابع مشابه
A NEW APPROACH TO THE SOLUTION OF SENSITIVITY MINIMIZATION IN LINEAR STATE FEEDBACK CONTROL
In this paper, it is shown that by exploiting the explicit parametric state feedback solution, it is feasible to obtain the ultimate solution to minimum sensitivity problem. A numerical algorithm for construction of a robust state feedback in eigenvalue assignment problem for a controllable linear system is presented. By using a generalized parametric vector companion form, the problem of eigen...
متن کاملمحاسبات توماس- فرمی برای تعیین خواص بحرانی ماده هسته‌ای متقارن براساس رهیافت جرم مؤثر تعمیم‌یافته
Using mean-field and semi-classical approximation of Thomas-Fermi, within a statistical model, equation of state and critical properties of symmetric nuclear matter is studied. In this model, two body and phenomenological interaction of Myers and Swiatecki is used in phase space. By performing a functional variation of the total Helmholtz free energy of system with respect to the nucleonic di...
متن کاملModeling thermodynamic properties of electrolytes: Inclusion of the mean spherical approximation (MSA) in the simplified SAFT equation of state
In this work, an equation of state has been utilized for thermodynamic modeling of aqueous electrolyte solutions. The proposed equation of state is a combination of simplified statistical associating fluid theory (SAFT) equation of state (similar to simplified PC-SAFT) to describe the effect of short-range interactions and mean spherical approximation (MSA) term to describe the effect of long-r...
متن کاملPre-Noun Modifiers as a Means to Describe Product Characteristics
The article deals with the characteristics of noun phrases functioning in pre-position. Pre-noun modifiers, or attributive modifiers, are among the high-capacity structures in the contemporary English language, as they enable to devoid of prepositions and to describe objects in a laconic way. The goal of this research was to analyze the way scholars interpret this linguistic structure today, as...
متن کاملMulti-objective Optimization of a Projectile Tip for Normal Penetration
The main purpose of the present work is multi-objective shape optimization of a projectile tip for impacting and normal penetrating. Velocity drop, weight and inner volume of projectile have been considered as three conflicting objective functions. For this purpose, at the first step, finite element modeling was done using ABAQUS/Explicit and projectile penetration was examined in different ge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999